Fix 64-bit build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Mar 2006 11:40:42 +0000 (12:40 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 15 Mar 2006 11:40:42 +0000 (12:40 +0100)
commit2cc7ae652df9e288dc0aaaaa4c3a0601995500e1
tree69ee7b31d4d5755ed947d9eaee836aa3e7cbcdac
parentba07c577c626791368d89076781ad94954ca88a0
Fix 64-bit build.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/sched_sedf.c